<html>
<body>
<h1>System Editor</h1>

<p>The system editor is used to create and edit the system to be
analysed. A system description</a> is defined by a set of process
templates, some global declarations, process assignments and a
system definition.</p>

<p>In this help section we describe how to use the system editor. The
<a href="@System Descriptions/Introduction">system description</a>
language used in UPPAAL2k is described in a separate section.</p>

</body>
</html>
